Oob(pn) 2 : an Object Oriented Petri Net Programming Notation (a Status Report)
نویسنده
چکیده
In this paper we present an overview of the basic ideas involved in an ongoing project for giving Petri net semantics to an object-oriented language. At present the emphasis is not in the development of the language, but in the study of how far one can get with the existing Petri net machinery. The OOB(PN) 2 language is an extension of B(PN) 2 as deened by Best and Hopkins, and the semantics is inspired by the B(PN) 2 semantics deened in terms of M-nets. The translation relies on the CCS-like composition operators deened for M-nets. Each program construct is translated to a box (a special kind of net) or an operation for combining boxes. Thus in essence each program is translated into an expression in the algebra of boxes. The advantage of this kind of an approach is, that one can use existing reachability analysers to verify the programs.
منابع مشابه
Pn-tox: a Paradigm and Development Environment for Object Concurrency Speciications
In the domain of concurrent object-oriented programming (COOP) there is a strong need for a formalism to describe concurrency. Such a formalism is ooered by Petri nets, which however lack thorough modularisation techniques for coping with models for large systems. An appropriate combination of COOP and Petri nets is required in order to proot from the strength of both methods. This paper gives ...
متن کاملOB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract)
In this paper we present a translation from the object-based language OB(PN) 2 to a class of high-level Petri nets. The OB(PN) 2 language is an extension of B(PN) 2 as deened by Best and Hopkins, and the semantics is inspired by the B(PN) 2 semantics deened in terms of M-nets. The translation relies on the CCS-like composition operators deened for M-nets. Each program construct is translated to...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملB(PN)2 - a Basic Petri Net Programming Notation
This paper presents the syntax of a concurrent programming notation which integrates a variety of process interaction techniques, its compositional Petri net semantics via the Box calculus, and an example of using the semantics for program verification.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996